$\forall$$a$:$\mathbb{Z}$, $b$:$\mathbb{Z}^{-\circ}$. $\mid$$a$ rem $b$$\mid$ $<$ $\mid$$b$$\mid$